3 research outputs found
ReForm: A Tool for Rapid Requirements Formalization
Formal methods practices can sometimes be challenging to adopt in industrial environments. On the other hand, the need for formalization and verification in the design of complex systems is now more evident than ever. To the end of easing integration of formal methods in industrial model based system engineering workflows, UTRC Ireland has developed a tool aiming to render requirements formalization as effortless as possible to the industrial engineer. The developed approach is an end-to-end solution, starting with natural language requirements as input and going all the way down to auto-generated monitors in MATLAB / Simulink. We employ natural language processing and machine learning techniques for (semi-)automatic pattern extraction from requirements, which drastically reduces the required formalization workload for both legacy and new requirements. For monitor generation, we provide our own approach which outperforms existing state-of-the-art tools by orders of magnitude in some cases
Estudios actuales de literatura comparada. TeorĂas de la literatura y diĂĄlogos interdisciplinarios
Estos dos volĂșmenes constituyen una contribuciĂłn al desarrollo de la comparatĂstica que se realiza, principalmente, desde AmĂ©rica Latina. El primer volumen estĂĄ organizado en tres partes y consta de 22
artĂculos, mientras que el segundo reĂșne 24 capĂtulos.UCR::VicerrectorĂa de Docencia::Artes y Letras::Facultad de Letras::Escuela de FilologĂa, LingĂŒĂstica y LiteraturaUCR::VicerrectorĂa de Docencia::Ciencias BĂĄsicas::Sistema de EducaciĂłn General::Escuela de Estudios GeneralesUCR::VicerrectorĂa de InvestigaciĂłn::Sistema de Estudios de Posgrado::Artes y Letras::MaestrĂa AcadĂ©mica en Literatura FrancesaUCR::VicerrectorĂa de InvestigaciĂłn::Sistema de Estudios de Posgrado::Artes y Letras::MaestrĂa AcadĂ©mica en Literatura LatinoamericanaUCR::VicerrectorĂa de Docencia::Artes y Letras::Facultad de Letras::Escuela de Lenguas Moderna